algebraic lattice

代数格